how to extract integer from string